When ethics runs counter to morals

US drug strategy runs counter to Canada's.

Witness Runs for Counter Machines

In this paper, we present recent results about the verification of counter machines by using decision procedures for Presburger arithmetic. We recall several known classes of counter machines for which the reachability sets are Presburger-definable as well as temporal logics with arithmetical constraints. We discuss issues related to flat counter machines, path schema enumeration, and the use o...

When Short Runs Beat Long Runs

What will yield the best results: doing one run n generations long or doing m runs n/m generations long each? This paper presents a techniqueindependent analysis which answers this question, and has direct applicability to scheduling and restart theory in evolutionary computation and other stochastic methods. The paper then applies this technique to three problem domains in genetic programming....

Grace as Guide to Morals? Schiller's Aesthetic Turn in Ethics

Ethics: a weapon to counter bioterrorism.

Advances in the life sciences, especially in molecular biology and informatics, and the potential for misuse of scientific research (the "dual-use" dilemma) raise the possibility that an act of terrorism could involve biological agents. International consensus is crucial on the steps needed to reduce this grave threat to humanity. One such step is to ensure that all people and institutions invo...